home *** CD-ROM | disk | FTP | other *** search
/ Best Tools for JAVA / Best Tools for JAVA.iso / JAVA_ALL / RMI_OS / RMI-PREB / BIN / RMIC.BAT < prev    next >
Encoding:
DOS Batch File  |  1996-11-08  |  206 b   |  7 lines

  1. @echo off
  2. rem
  3. rem RMIHOME must be set so that lib/rmic.properties can be located.
  4. rem It contains the text of error message.
  5. rem
  6. java -Drmi.home=%RMIHOME% sun.rmi.rmic.Main %1 %2 %3 %4 %5 %6 %7 %8 %9
  7.